COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@make(letterhead,Phone"497-4430",Who"John McCarthy",Logo,Old, Department CSD)
C00004 ENDMK
C⊗;
@make(letterhead,Phone"497-4430",Who"John McCarthy",Logo,Old, Department CSD)
@style(indent 8)
@blankspace(14 lines)
@begin(address)
Dr. Masahiko Sato
Department of Information Science
University of Tokyo
7-3-1 Hongo, Bunkyo-Ku
Tokyo, 113 Japan
@end(address)
@greeting(Dear Professor Sato)
@begin(body)
I'm sorry about the confusion.  What I now remember is that I said I would
look into the possibility of paying you while you were here, but I forgot
to do it.  Therefore, our further exchange of letters was based on a
misunderstanding.  Anyway I can offer you a position as a visiting research
associate at a salary of $3,236 per month for three months.  Please choose
a time convenient to you between July and February.
I hope this is ok.

There has been a revival of interest in the formalization of knowledge
about knowledge.  Ron Fagin, Joe Halpern
and Moshe Vardi of IBM San Jose have developed some new formalisms.
Also Yoram Moses and Victor Guo (Guo Weide) in my group have been
working on knowledge.  I hope to revive your interest.
@end(body)
Sincerely,




John McCarthy
Professor of Computer Science